module GPS

open Device

sig GPS extends Device {}
